搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Intelligent CAD 0 索取号：TP391.72-53/E901/1987 作者：IFIP TC 5/WG 5.2 Workshop on Intelligent CAD.、Yoshikawa、 H. (Hiroyuki)、 1933-、Gossard、 D.、Holden、 Tony.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1989-<1990 >		Information processing 83 : proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983 0 索取号：TP391-53/E701/1983 作者：IFIP World Computer Congress (9th : 1983 : Paris、 France)、Mason、 R. E. A. (Richard Edward Allison)、 1936-、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	Computer architectures for spatially distributed data 0 索取号：TP391-53/E902 作者：NATO Advanced Study Institute on Computer Architectures for Spatially Distributed Data (1983 : Cetraro、 Italy)、Freeman、 Herbert.、Pieroni、 Goffredo G.、出版社：Berlin ; New York : Springer-Verlag, 1985.		Fourth International Conference on Trends in On-Line Computer Control Systems, 5-8 April 1982 0 索取号：TP39-53/E805/4 作者：International Conference on Trends in On-Line Computer Control Systems (4th : 1982 : University of Warwick)、Institution of Electrical Engineers. Computing & Control Division.、British Computer Society.、出版社：London ; New York : Institution of Electrical Engineers, c1982.
	3rd International Conference on Trends in On-Line Computer Control Systems, 27-29 March 1979 0 索取号：TP39-53/E805/3 作者：International Conference on Trends in On-Line Computer Control Systems、 3d、 University of Sheffield、 1979.、Institution of Electrical Engineers. Control and Automation Division.、出版社：London [etc.] : Institution of Electrical Engineers, 1979.		Integrated office systems--burotics : proceedings of the IFIP TC-6 International Workshop on Integrated Office Systems--Burotics, organized by IRIA, Versailles, France, November 6-9, 1979 0 索取号：TP39-53/E903/1979 作者：IFIP TC-6 International Workshop on Integrated Office Systems--Burotics (1979 : Versailles、 France)、Naffah、 Najah、 1945-、International Federation for Information Processing. Technical Committee 6.、Institut de recherche d'informatique et d'automatique.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors in the U.S.A. and Canada : Elsevier North-Holland, 1980.
	Computer aided engineering : proceedings of the symposium held at the University of Waterloo, May 11-13, 1971. 0 索取号：TP39-53/E804 作者：出版社：Canada [Waterloo, Ont., Solid Mechanics Division, University of Waterloo, 1970,c1971]		Proceedings 0 索取号：TN919.2-53/E904/1983 作者：Computer Networking Symposium (1983 : Silver Spring、 Md.)、IEEE Computer Society. Technical Committee on Computer Communications.、Institute for Computer Sciences and Technology.、出版社：Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983,c1984.
	Computers in engineering, 1983 : proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1988, San Francisco, California 0 索取号：TP39-53/E906/1983.3 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.		Computers in engineering, 1983 : proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1988, San Francisco, California 0 索取号：TP39-53/E906/1983.2 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.
	Computers in engineering, 1983 : proceedings of the 1983 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1983, San Francisco, California 0 索取号：TP39-53/E906/1983.1 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.		Shock and vibration computer programs : reviews and summaries 0 索取号：TP38/E801 作者：出版社：Washington : Shock and Vibration Information Center, U.S. Dept. of Defense, 1975.
	MICRO-DELCON '82 : the Delaware Bay Computer Conference, 1982 0 索取号：TP36-53/E9012/1982 作者：MICRO-DELCON (5th : 1982 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Spring, Md. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society ; Piscataway, NJ : Order from IEEE Service Center, 1982.		Proceedings 0 索取号：TP36-53/E9012/1981 作者：MICRO-DELCON (4th : 1981 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Spring, Md. : IEEE Computer Society Press ; Los Alamitos, CA (10662 Los Vaqueros Circle, Los Alamitos 90720) : Order from IEEE Computer Society, 1981.
	Microcomputers : developments in industry, business, and education 0 索取号：TP36-53/E905/9 作者：Euromicro Symposium on Microprocessing and Microprogramming (9th : 1983 : Madrid、 Spain)、Wilson、 D. R. (Derek Robert)、 1936-、Spronsen、 Cees J. van、 1941-、Euromicro.、European Cooperation in Informatics (Organization)、出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		1983 ACM Conference on Personal and Small Computers : Westgate Hotel, San Diego, CA, December 7-9, 1983 0 索取号：TP36-53/E906/1983 作者：ACM Conference on Personal and Small Computers (1983 : San Diego、 Calif.)、Association for Computing Machinery.、Association for Computing Machinery. Special Interest Group on Personal Computing.、ACM Special Interest Group on Small Computing Systems and Applications.、出版社：New York, N.Y. : Association fo Computing Machinery ; Baltimore, MD : Additional copies may be ordered from ACM Order Dept., 1983.

	Intelligent CAD 0 索取号：TP391.72-53/E901/1987 作者：IFIP TC 5/WG 5.2 Workshop on Intelligent CAD.、Yoshikawa、 H. (Hiroyuki)、 1933-、Gossard、 D.、Holden、 Tony.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1989-<1990 >		Information processing 83 : proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983 0 索取号：TP391-53/E701/1983 作者：IFIP World Computer Congress (9th : 1983 : Paris、 France)、Mason、 R. E. A. (Richard Edward Allison)、 1936-、International Federation for Information Processing.、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
	Computer architectures for spatially distributed data 0 索取号：TP391-53/E902 作者：NATO Advanced Study Institute on Computer Architectures for Spatially Distributed Data (1983 : Cetraro、 Italy)、Freeman、 Herbert.、Pieroni、 Goffredo G.、出版社：Berlin ; New York : Springer-Verlag, 1985.		Fourth International Conference on Trends in On-Line Computer Control Systems, 5-8 April 1982 0 索取号：TP39-53/E805/4 作者：International Conference on Trends in On-Line Computer Control Systems (4th : 1982 : University of Warwick)、Institution of Electrical Engineers. Computing & Control Division.、British Computer Society.、出版社：London ; New York : Institution of Electrical Engineers, c1982.
	3rd International Conference on Trends in On-Line Computer Control Systems, 27-29 March 1979 0 索取号：TP39-53/E805/3 作者：International Conference on Trends in On-Line Computer Control Systems、 3d、 University of Sheffield、 1979.、Institution of Electrical Engineers. Control and Automation Division.、出版社：London [etc.] : Institution of Electrical Engineers, 1979.		Integrated office systems--burotics : proceedings of the IFIP TC-6 International Workshop on Integrated Office Systems--Burotics, organized by IRIA, Versailles, France, November 6-9, 1979 0 索取号：TP39-53/E903/1979 作者：IFIP TC-6 International Workshop on Integrated Office Systems--Burotics (1979 : Versailles、 France)、Naffah、 Najah、 1945-、International Federation for Information Processing. Technical Committee 6.、Institut de recherche d'informatique et d'automatique.、出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors in the U.S.A. and Canada : Elsevier North-Holland, 1980.
	Computer aided engineering : proceedings of the symposium held at the University of Waterloo, May 11-13, 1971. 0 索取号：TP39-53/E804 作者：出版社：Canada [Waterloo, Ont., Solid Mechanics Division, University of Waterloo, 1970,c1971]		Proceedings 0 索取号：TN919.2-53/E904/1983 作者：Computer Networking Symposium (1983 : Silver Spring、 Md.)、IEEE Computer Society. Technical Committee on Computer Communications.、Institute for Computer Sciences and Technology.、出版社：Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983,c1984.
	Computers in engineering, 1983 : proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1988, San Francisco, California 0 索取号：TP39-53/E906/1983.3 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.		Computers in engineering, 1983 : proceedings of the 1988 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1988, San Francisco, California 0 索取号：TP39-53/E906/1983.2 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.
	Computers in engineering, 1983 : proceedings of the 1983 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1983, San Francisco, California 0 索取号：TP39-53/E906/1983.1 作者：ASME International Computers in Engineering Conference and Exhibition (1983 : San Francisco、 Calif.)、Tipnis、 Vijay A.、Patton、 E. M.、American Society of Mechanical Engineers. Computers in Engineering Division.、出版社：New York, N.Y. (345 E. 47th St., New York 10017) : American Society of Mechanical Engineers, 1983.		Shock and vibration computer programs : reviews and summaries 0 索取号：TP38/E801 作者：出版社：Washington : Shock and Vibration Information Center, U.S. Dept. of Defense, 1975.
	MICRO-DELCON '82 : the Delaware Bay Computer Conference, 1982 0 索取号：TP36-53/E9012/1982 作者：MICRO-DELCON (5th : 1982 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Spring, Md. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society ; Piscataway, NJ : Order from IEEE Service Center, 1982.		Proceedings 0 索取号：TP36-53/E9012/1981 作者：MICRO-DELCON (4th : 1981 : University of Delaware)、IEEE Computer Society. Delaware Bay Section.、出版社：Silver Spring, Md. : IEEE Computer Society Press ; Los Alamitos, CA (10662 Los Vaqueros Circle, Los Alamitos 90720) : Order from IEEE Computer Society, 1981.
	Microcomputers : developments in industry, business, and education 0 索取号：TP36-53/E905/9 作者：Euromicro Symposium on Microprocessing and Microprogramming (9th : 1983 : Madrid、 Spain)、Wilson、 D. R. (Derek Robert)、 1936-、Spronsen、 Cees J. van、 1941-、Euromicro.、European Cooperation in Informatics (Organization)、出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.		1983 ACM Conference on Personal and Small Computers : Westgate Hotel, San Diego, CA, December 7-9, 1983 0 索取号：TP36-53/E906/1983 作者：ACM Conference on Personal and Small Computers (1983 : San Diego、 Calif.)、Association for Computing Machinery.、Association for Computing Machinery. Special Interest Group on Personal Computing.、ACM Special Interest Group on Small Computing Systems and Applications.、出版社：New York, N.Y. : Association fo Computing Machinery ; Baltimore, MD : Additional copies may be ordered from ACM Order Dept., 1983.